1. Theory of program structures : schemes, semantics, Verification

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer programming,، Recursive programming,، Computer programs

رده :
QA
76
.
L28
Vol
.
36